L-mappi 相关硕士博士期刊学术论文

在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-......